FINITE SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC

机译：pEaNO算法模型的有限子结构格

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
James H. Schmerl;
展开▼
作者单位

展开▼
年度 1993
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. INFINITE SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC [J] . Schmerl JH Journal of Symbolic Logic . 2010,第4期

机译：PEANO算术模型的无限子结构格
2. Substructure lattices and almost minimal end extensions of models of Peano arithmetic [J] . James H. Schmerl Mathematical logic quarterly: MLQ . 2004,第6期

机译：Peano算法模型的子结构格和几乎最小的端扩展
3. Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak [J] . AtharAbdul-Quader The bulletin of symbolic logic . 2018,第2期

机译：PEANO算术，纽约城市大学的PEANO算术，2017年，2017年，2017年，罗马凯克监督
4. Inverse fuzzy arithmetic for the quality assessment of substructured models [C] . Igor Iroz, Sergio Carvajal, Michael Hanss, IUTAM Symposium on Dynamical Analysis of Multibody Systems with Design Uncertainties . 2015

机译：逆模糊算法用于子结构模型的质量评估
5. Applications of the proper forcing axiom to models of Peano arithmetic [D] . Gitman, Victoria 2007

机译：适当强迫公理在Peano算法模型中的应用
6. A new DNA-based model for finite field arithmetic [O] . Iván Jirón, Susana Soto, Sabrina Marín, 2019

机译：基于DNA的新型有限域算术模型
7. Pointwise definable substructures of models of Peano arithmetic. [O] . Roman Murawski 1988

机译：PEALO算术模型的点可定义的子结构。
8. Finite-Difference Modelling of Electromagnetic Problems in Structured Lattices;Doctoral thesis [R] . Kaerkkaeinen, K. 2002

机译：结构化格子中电磁问题的有限差分建模;博士论文

FINITE SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC

著录项

引文网络

相似文献

相关主题

期刊订阅